#include "TerminalNode.h"

namespace jcrada {

    TerminalNode::TerminalNode( ) : Node( 0 ), _value( 0 ) {

    }

    TerminalNode::~TerminalNode( ) {

    }

    void TerminalNode::setValue( int value ) {
        this->_value = value;
    }

    int TerminalNode::getValue( ) const {
        return this->_value;
    }

    TerminalNode* TerminalNode::clone( ) const {
        TerminalNode* result = new TerminalNode();
        result->setValue(getValue());
        return result;
    }

    std::string TerminalNode::toString( ) const {
        std::string result;
        result += TO_STRING(getValue());
        return result;
    }
}
